A congruence relation for sPBC
نویسندگان
چکیده
In this paper we define a congruence relation for regular terms of sPBC (stochastic Petri Box Calculus), by means of which we identify those processes that have the same behaviour, not only in terms of the multiactions that they can perform, but also taking into account the stochastic information that they have associated. In order to define this equivalence relation we have to define an adequate semantics for the synchronization operator, as well as a new labelled transition system for regular terms of sPBC.
منابع مشابه
Discrete time stochastic Petri box calculus ∗ Igor
Last decade, a number of stochastic enrichments of process algebras was constructed to facilitate the specification of stochastic processes based on the the well-developed framework of algebraic calculi. In [56], a continuous time stochastic extension of finite PBC was proposed called sPBC. Algebra sPBC has interleaving semantics due to the properties of continuous time distributions. At the sa...
متن کاملsPBC: A Markovian Extension of Finite Petri box calculus
In this paper we present a stochastic extension of finite PBC, sPBC, in which actions have a stochastic delay associated, which is taken from a negative exponential distribution. We define for the language both an operational and a denotational semantics, using a class of labelled stochastic Petri net as supporting values. In this paper we restrict our attention to finite sPBC, i.e., we conside...
متن کاملTHE LATTICE OF CONGRUENCES ON A TERNARY SEMIGROUP
In this paper we investigate some properties of congruences on ternary semigroups. We also define the notion of congruence on a ternary semigroup generated by a relation and we determine the method of obtaining a congruence on a ternary semigroup T from a relation R on T. Furthermore we study the lattice of congruences on a ternary semigroup and we show that this lattice is not generally modular...
متن کاملFactors affecting the survival probability of becoming a centenarian for those aged 70, based on the human mortality database: income, health expenditure, telephone, and sanitation
BACKGROUND What are the factors that affect the survival probability of becoming a centenarian for those aged 70? Do the factors include income, health expenditure, the use of mobile telephones, or sanitation? The survival probability of becoming a centenarian (SPBC) is defined as an estimate of the production of centenarians by a population. The SPBC (70) is the survival probability of becomin...
متن کاملFuzzy universal algebras on $L$-sets
This paper attempts to generalize universal algebras on classical sets to $L$-sets when $L$ is a GL-quantale. Some basic notions of fuzzy universal algebra on an $L$-set are introduced, such as subalgebra, quotient algebra, homomorphism, congruence, and direct product etc. The properties of them are studied. $L$-valued power algebra is also introduced and it is shown there is an onto homomorphi...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Formal Methods in System Design
دوره 32 شماره
صفحات -
تاریخ انتشار 2008